disjunction相关论文